docstrip.dtx

---